$\Pi$($r$) $i$ $\leq$ $k$ $<$ $j$. $E$($k$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\Pi$ $i$ $\leq$ $k$ $<$ $j$. $E$($k$)